a -> Store s a